462 research outputs found
Smart matching
One of the most annoying aspects in the formalization of mathematics is the
need of transforming notions to match a given, existing result. This kind of
transformations, often based on a conspicuous background knowledge in the given
scientific domain (mostly expressed in the form of equalities or isomorphisms),
are usually implicit in the mathematical discourse, and it would be highly
desirable to obtain a similar behavior in interactive provers. The paper
describes the superposition-based implementation of this feature inside the
Matita interactive theorem prover, focusing in particular on the so called
smart application tactic, supporting smart matching between a goal and a given
result.Comment: To appear in The 9th International Conference on Mathematical
Knowledge Management: MKM 201
Resource Allocation Frameworks for Network-coded Layered Multimedia Multicast Services
The explosive growth of content-on-the-move, such as video streaming to
mobile devices, has propelled research on multimedia broadcast and multicast
schemes. Multi-rate transmission strategies have been proposed as a means of
delivering layered services to users experiencing different downlink channel
conditions. In this paper, we consider Point-to-Multipoint layered service
delivery across a generic cellular system and improve it by applying different
random linear network coding approaches. We derive packet error probability
expressions and use them as performance metrics in the formulation of resource
allocation frameworks. The aim of these frameworks is both the optimization of
the transmission scheme and the minimization of the number of broadcast packets
on each downlink channel, while offering service guarantees to a predetermined
fraction of users. As a case of study, our proposed frameworks are then adapted
to the LTE-A standard and the eMBMS technology. We focus on the delivery of a
video service based on the H.264/SVC standard and demonstrate the advantages of
layered network coding over multi-rate transmission. Furthermore, we establish
that the choice of both the network coding technique and resource allocation
method play a critical role on the network footprint, and the quality of each
received video layer.Comment: IEEE Journal on Selected Areas in Communications - Special Issue on
Fundamental Approaches to Network Coding in Wireless Communication Systems.
To appea
Binary Systematic Network Coding for Progressive Packet Decoding
We consider binary systematic network codes and investigate their capability
of decoding a source message either in full or in part. We carry out a
probability analysis, derive closed-form expressions for the decoding
probability and show that systematic network coding outperforms conventional
network coding. We also develop an algorithm based on Gaussian elimination that
allows progressive decoding of source packets. Simulation results show that the
proposed decoding algorithm can achieve the theoretical optimal performance.
Furthermore, we demonstrate that systematic network codes equipped with the
proposed algorithm are good candidates for progressive packet recovery owing to
their overall decoding delay characteristics.Comment: Proc. of IEEE ICC 2015 - Communication Theory Symposium, to appea
Rethinking the Intercept Probability of Random Linear Network Coding
This letter considers a network comprising a transmitter, which employs
random linear network coding to encode a message, a legitimate receiver, which
can recover the message if it gathers a sufficient number of linearly
independent coded packets, and an eavesdropper. Closed-form expressions for the
probability of the eavesdropper intercepting enough coded packets to recover
the message are derived. Transmission with and without feedback is studied.
Furthermore, an optimization model that minimizes the intercept probability
under delay and reliability constraints is presented. Results validate the
proposed analysis and quantify the secrecy gain offered by a feedback link from
the legitimate receiver.Comment: IEEE Communications Letters, to appea
On Intercept Probability Minimization under Sparse Random Linear Network Coding
This paper considers a network where a node wishes to transmit a source
message to a legitimate receiver in the presence of an eavesdropper. The
transmitter secures its transmissions employing a sparse implementation of
Random Linear Network Coding (RLNC). A tight approximation to the probability
of the eavesdropper recovering the source message is provided. The proposed
approximation applies to both the cases where transmissions occur without
feedback or where the reliability of the feedback channel is impaired by an
eavesdropper jamming the feedback channel. An optimization framework for
minimizing the intercept probability by optimizing the sparsity of the RLNC is
also presented. Results validate the proposed approximation and quantify the
gain provided by our optimization over solutions where non-sparse RLNC is used.Comment: To appear on IEEE Transactions on Vehicular Technolog
High-Speed Data Dissemination over Device-to-Device Millimeter-Wave Networks for Highway Vehicular Communication
Gigabit-per-second connectivity among vehicles is expected to be a key
enabling technology for sensor information sharing, in turn, resulting in safer
Intelligent Transportation Systems (ITSs). Recently proposed millimeter-wave
(mmWave) systems appear to be the only solution capable of meeting the data
rate demand imposed by future ITS services. In this poster, we assess the
performance of a mmWave device-to-device (D2D) vehicular network by
investigating the impact of system and communication parameters on end-users.Comment: To appear in IEEE VNC 2017, Torino, I
Operating ITS-G5 DSRC over Unlicensed Bands: A City-Scale Performance Evaluation
Future Connected and Autonomous Vehicles (CAVs) will be equipped with a large
set of sensors. The large amount of generated sensor data is expected to be
exchanged with other CAVs and the road-side infrastructure. Both in Europe and
the US, Dedicated Short Range Communications (DSRC) systems, based on the IEEE
802.11p Physical Layer, are key enabler for the communication among vehicles.
Given the expected market penetration of connected vehicles, the licensed band
of 75 MHz, dedicated to DSRC communications, is expected to become increasingly
congested. In this paper, we investigate the performance of a vehicular
communication system, operated over the unlicensed bands 2.4 GHz - 2.5 GHz and
5.725 GHz - 5.875 GHz. Our experimental evaluation was carried out in a testing
track in the centre of Bristol, UK and our system is a full-stack ETSI ITS-G5
implementation. Our performance investigation compares key communication
metrics (e.g., packet delivery rate, received signal strength indicator)
measured by operating our system over the licensed DSRC and the considered
unlicensed bands. In particular, when operated over the 2.4 GHz - 2.5 GHz band,
our system achieves comparable performance to the case when the DSRC band is
used. On the other hand, as soon as the system, is operated over the 5.725 GHz
- 5.875 GHz band, the packet delivery rate is 30% smaller compared to the case
when the DSRC band is employed. These findings prove that operating our system
over unlicensed ISM bands is a viable option. During our experimental
evaluation, we recorded all the generated network interactions and the complete
data set has been publicly available.Comment: IEEE PIMRC 2019, to appea
Random Linear Network Coding for 5G Mobile Video Delivery
An exponential increase in mobile video delivery will continue with the
demand for higher resolution, multi-view and large-scale multicast video
services. Novel fifth generation (5G) 3GPP New Radio (NR) standard will bring a
number of new opportunities for optimizing video delivery across both 5G core
and radio access networks. One of the promising approaches for video quality
adaptation, throughput enhancement and erasure protection is the use of
packet-level random linear network coding (RLNC). In this review paper, we
discuss the integration of RLNC into the 5G NR standard, building upon the
ideas and opportunities identified in 4G LTE. We explicitly identify and
discuss in detail novel 5G NR features that provide support for RLNC-based
video delivery in 5G, thus pointing out to the promising avenues for future
research.Comment: Invited paper for Special Issue "Network and Rateless Coding for
Video Streaming" - MDPI Informatio
- …